Anne is big. Anne is green. Anne is kind. Anne is red. Anne is young. Charlie is big. Charlie is blue. Charlie is green. Charlie is smart. Charlie is young. Erin is red. Harry is young. All young, blue things are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All young, blue things are kind.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Charlie is not smart.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "smart" "-")
triple9
Charlie is kind.
True
3
proof
[(((triple10 triple7) -> rule1))]
("Charlie" "is" "kind" "+")
((triple10 triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple10 triple7) -> rule1))]
("Charlie" "is" "kind" "-")
((triple10 triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is green.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Erin is red.[(triple11)] Harry is young.[(triple12)] @1: Charlie is kind.[(((triple10 triple7) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple10 triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1