Anne is big. Anne is blue. Anne is kind. Anne is young. Bob is blue. Bob is not kind. Bob is white. Charlie is big. Charlie is blue. Charlie is not rough. Charlie is white. Erin is blue. Erin is green. Erin is kind. Erin is white. Erin is young. If something is big and white then it is not green. All young things are green. Green things are young. Green things are young. If something is green and not white then it is big. Kind things are blue. All young, big things are blue. If something is young and not green then it is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is big and white then it is not green.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "-"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is green and not white then it is big.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All young, big things are blue.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is young and not green then it is kind.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Charlie is not blue.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "blue" "-")
triple9
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule6) OR ((triple4 triple1) -> rule7))] Anne is kind.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is not kind.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is not rough.[(triple10)] Charlie is white.[(triple11)] Erin is blue.[(triple12 OR ((triple14) -> rule6))] Erin is green.[(triple13 OR ((triple16) -> rule2))] Erin is kind.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16 OR ((triple13) -> rule3) OR ((triple13) -> rule4))] @1: Anne is green.[(((triple4) -> rule2))] Charlie is not green.[(((triple8 triple11) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is not kind.
("Bob" "is" "kind" "-")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
((triple14) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple13
((triple16) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
((triple13) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple13) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
((triple8 triple11) -> (rule1 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1