Bob is big. Bob is blue. Bob is young. Dave is big. Dave is cold. Dave is smart. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is young. Furry, young people are blue. If Bob is furry and Bob is young then Bob is big. If Fiona is blue then Fiona is young. All furry, smart people are big. If someone is big and blue then they are furry. All smart people are white. Smart people are young. If Dave is smart then Dave is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Furry, young people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If Bob is furry and Bob is young then Bob is big.
((("Bob" "is" "furry" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "big" "+"))
If Fiona is blue then Fiona is young.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "+"))
All furry, smart people are big.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Dave is smart then Dave is furry.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "furry" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Dave is not smart.
False
1
inv-proof
[(triple6)]
("Dave" "is" "smart" "-")
triple6
Bob is furry.
True
3
proof
[(((triple1 triple2) -> rule5))]
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule6))]
("Fiona" "is" "white" "-")
((triple9) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "furry" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4 OR ((((triple6) -> rule8) triple6) -> rule4))] Dave is cold.[(triple5)] Dave is smart.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule3) OR ((triple9) -> rule7))] @1: Bob is furry.[(((triple1 triple2) -> rule5))] Dave is furry.[(((triple6) -> rule8))] Dave is white.[(((triple6) -> rule6))] Dave is young.[(((triple6) -> rule7))] Fiona is white.[(((triple9) -> rule6))] @2: Dave is blue.[(((((triple6) -> rule8) ((triple6) -> rule7)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((((triple6) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple6) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple6) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3