Anne is big. Anne is young. Charlie is blue. Charlie is quiet. Charlie is young. Fiona is kind. Harry is blue. If something is nice and kind then it is smart. Quiet, young things are kind. Kind things are big. If Harry is nice and Harry is big then Harry is young. All kind, blue things are smart. Kind, smart things are young. If something is big and blue then it is nice. If Charlie is quiet and Charlie is big then Charlie is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If something is nice and kind then it is smart.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Quiet, young things are kind.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If Harry is nice and Harry is big then Harry is young.
((("Harry" "is" "nice" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "young" "+"))
All kind, blue things are smart.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Kind, smart things are young.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is big and blue then it is nice.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Charlie is quiet and Charlie is big then Charlie is blue.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Charlie is kind.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Charlie" "is" "kind" "+")
((triple4 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule3))]
("Fiona" "is" "big" "-")
((triple6) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3 OR ((triple4 ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8))] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is kind.[(triple6)] Harry is blue.[(triple7)] @1: Charlie is kind.[(((triple4 triple5) -> rule2))] Fiona is big.[(((triple6) -> rule3))] @2: Charlie is big.[(((((triple4 triple5) -> rule2)) -> rule3))] Charlie is smart.[(((((triple4 triple5) -> rule2) triple3) -> rule5) OR ((((triple4 triple5) -> rule2) ((triple4 ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4 triple5) -> rule2)) -> rule3) triple3) -> rule7) ((triple4 triple5) -> rule2)) -> rule1) OR ((((((((triple4 triple5) -> rule2)) -> rule3) ((triple4 ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8)) -> rule7) ((triple4 triple5) -> rule2)) -> rule1))] @3: Charlie is nice.[(((((((triple4 triple5) -> rule2)) -> rule3) triple3) -> rule7) OR ((((((triple4 triple5) -> rule2)) -> rule3) ((triple4 ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
((triple4 ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple4 triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4 triple5) -> (rule2 % int4)) ((triple4 ((((triple4 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple4 triple5) -> (rule2 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((triple4 triple5) -> (rule2 % int4))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple4 triple5) -> (rule2 % int5))) -> (rule3 % int4)) ((triple4 ((((triple4 triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple4 triple5) -> (rule2 % int5))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4 ((((triple4 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4