Bob is blue. Bob is furry. Bob is nice. Erin is furry. Erin is red. Erin is round. Fiona is round. Harry is blue. Harry is furry. Harry is red. Harry is round. Harry is young. If something is blue then it is young. Round things are young. Round, young things are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Round, young things are blue.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Fiona is young.
True
2
proof
[(((triple7) -> rule2))]
("Fiona" "is" "young" "+")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "young" "-")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is blue.
True
4
proof
[(((triple6 ((triple6) -> rule2)) -> rule3))]
("Erin" "is" "blue" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((triple7 ((triple7) -> rule2)) -> rule3))]
("Fiona" "is" "blue" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] Harry is blue.[(triple8 OR ((triple11 triple12) -> rule3) OR ((triple11 ((triple11) -> rule2)) -> rule3))] Harry is furry.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule2) OR ((triple8) -> rule1))] @1: Bob is young.[(((triple1) -> rule1))] Erin is young.[(((triple6) -> rule2))] Fiona is young.[(((triple7) -> rule2))] @2: Erin is blue.[(((triple6 ((triple6) -> rule2)) -> rule3))] Fiona is blue.[(((triple7 ((triple7) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple11 triple12) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple11 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2