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