Bob is big. Bob is quiet. Bob is round. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Big, round things are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Big, round things are kind.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple13 OR ((triple10 triple16) -> rule1))]
("Fiona" "is" "kind" "-")
triple13
((triple10 triple16) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Bob is kind.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Bob" "is" "kind" "+")
((triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Bob" "is" "kind" "-")
((triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is round.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple10 triple16) -> rule1))] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is round.[(triple16)] @1: Bob is kind.[(((triple1 triple3) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((triple10 triple16) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1