Anne is cold. Anne is kind. Anne is round. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Round, smart things are big. Cold, red things are round. All round things are big.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Round, smart things are big.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Cold, red things are round.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Charlie is smart.
True
1
proof
[(triple9)]
("Charlie" "is" "smart" "+")
triple9
Fiona is not kind.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "kind" "-")
triple11
Anne is big.
True
2
proof
[(((triple3) -> rule3))]
("Anne" "is" "big" "+")
((triple3) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple3) -> rule3))]
("Anne" "is" "big" "-")
((triple3) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Charlie is big.[(triple4 OR ((triple8) -> rule3) OR ((triple8 triple9) -> rule1))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Fiona is big.[(triple10 OR ((triple14) -> rule3) OR ((triple14 triple15) -> rule1))] Fiona is kind.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is big.[(((triple3) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple8) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple8 triple9) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple14) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple14 triple15) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1