Anne is big. Anne is young. Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is young. All blue, kind people are big. Rough people are big. If Anne is big and Anne is rough then Anne is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All blue, kind people are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Anne is big and Anne is rough then Anne is young.
((("Anne" "is" "big" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "young" "+"))
Bob is big.
True
1
proof
[(triple3 OR ((triple8) -> rule2) OR ((triple4 triple6) -> rule1))]
("Bob" "is" "big" "+")
triple3
((triple8) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not cold.
False
1
inv-proof
[(triple5)]
("Bob" "is" "cold" "-")
triple5
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3 OR ((triple8) -> rule2) OR ((triple4 triple6) -> rule1))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is young.[(triple9)] Fiona is big.[(triple10 OR ((triple15) -> rule2) OR ((triple11 triple13) -> rule1))] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
((triple8) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple15) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple11 triple13) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16