Bob is green. Bob is nice. Bob is quiet. Charlie is nice. Charlie is round. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. Harry is furry. Harry is nice. Harry is round. If Fiona is green and Fiona is furry then Fiona is round.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
If Fiona is green and Fiona is furry then Fiona is round.
((("Fiona" "is" "green" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "round" "+"))
Fiona is white.
True
1
proof
[(triple11)]
("Fiona" "is" "white" "+")
triple11
Harry is not furry.
False
1
inv-proof
[(triple13)]
("Harry" "is" "furry" "-")
triple13
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((triple7 triple6) -> rule1))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple7 triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15