Bob is big. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is young. Charlie is young. Fiona is furry. Fiona is green. Fiona is young. Gary is big. Gary is green. Gary is red. Gary is rough. Young, furry things are big. Rough things are green. All young things are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Young, furry things are big.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Fiona is young.
True
1
proof
[(triple11)]
("Fiona" "is" "young" "+")
triple11
Charlie is not young.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "young" "-")
triple8
Charlie is rough.
True
2
proof
[(((triple8) -> rule3))]
("Charlie" "is" "rough" "+")
((triple8) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple11 triple9) -> rule1))]
("Fiona" "is" "big" "-")
((triple11 triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is green.
True
3
proof
[(((((triple8) -> rule3)) -> rule2))]
("Charlie" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not green.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule2))]
("Charlie" "is" "green" "-")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is big.[(triple1 OR ((triple7 triple2) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple7) -> rule3))] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((((triple11) -> rule3)) -> rule2))] Fiona is young.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13 OR ((triple15) -> rule2))] Gary is red.[(triple14)] Gary is rough.[(triple15)] @1: Charlie is rough.[(((triple8) -> rule3))] Fiona is big.[(((triple11 triple9) -> rule1))] Fiona is rough.[(((triple11) -> rule3))] @2: Charlie is green.[(((((triple8) -> rule3)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple7 triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple7) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple15) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple8) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple11 triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2