Bob is furry. Bob is green. Bob is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is young. Fiona is furry. Fiona is green. Fiona is young. Gary is furry. Gary is green. Gary is white. Gary is young. Furry, white people are round. If someone is furry and white then they are green. All young, green people are furry. If Erin is round then Erin is quiet. If someone is round and rough then they are furry. White, rough people are round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Furry, white people are round.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and white then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All young, green people are furry.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Erin is round then Erin is quiet.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "quiet" "+"))
If someone is round and rough then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
White, rough people are round.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Erin is young.
True
1
proof
[(triple8)]
("Erin" "is" "young" "+")
triple8
Erin is not young.
False
1
inv-proof
[(triple8)]
("Erin" "is" "young" "-")
triple8
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1 triple3) -> rule2))] Bob is white.[(triple3)] Erin is furry.[(triple4 OR ((triple7 triple6) -> rule5) OR ((triple8 triple5) -> rule3))] Erin is green.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple10) -> rule3))] Fiona is green.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12 OR ((triple15 triple13) -> rule3))] Gary is green.[(triple13 OR ((triple12 triple14) -> rule2))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Bob is round.[(((triple1 triple3) -> rule1))] Erin is quiet.[(((triple7) -> rule4))] Gary is round.[(((triple12 triple14) -> rule1) OR ((((triple15 triple13) -> rule3) triple14) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((triple7 triple6) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple8 triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple11 triple10) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple15 triple13) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple12 triple14) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Bob is round.
("Bob" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple12 triple14) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple15 triple13) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2