Bob is nice. Bob is round. Bob is young. Charlie is not nice. Charlie is white. Fiona is big. Fiona is not quiet. Fiona is red. Harry is big. Harry is quiet. Harry is red. Harry is round. If Fiona is nice and Fiona is big then Fiona is round. All white things are round.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If Fiona is nice and Fiona is big then Fiona is round.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "round" "+"))
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Charlie is round.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "round" "+")
((triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "round" "-")
((triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is not nice.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is red.[(triple8)] Harry is big.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Charlie is round.[(((triple5) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
((triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1