Anne is green. Anne is kind. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is green. Charlie is rough. Charlie is not young. Erin is kind. Erin is white. Harry is big. Harry is green. Harry is kind. Harry is white. Harry is young. Big things are green. All young things are big.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Harry is not white.
False
1
inv-proof
[(triple15)]
("Harry" "is" "white" "-")
triple15
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is green.[(triple1 OR ((((triple5) -> rule2)) -> rule1))] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7 OR ((triple6) -> rule1))] Charlie is not young.[(triple9)] Charlie is rough.[(triple8)] Erin is kind.[(triple10)] Erin is white.[(triple11)] Harry is big.[(triple12 OR ((triple16) -> rule2))] Harry is green.[(triple13 OR ((triple12) -> rule1) OR ((((triple16) -> rule2)) -> rule1))] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Anne is big.[(((triple5) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
((triple6) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
((triple16) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple12) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is big.
("Anne" "is" "big" "+")
((triple5) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1