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