Dave is big. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is round. All big things are furry.
Dave is big.
("Dave" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple4 OR ((triple2) -> rule1))]
("Fiona" "is" "furry" "+")
triple4
((triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "blue" "-")
triple3
Dave is furry.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is big.[(triple1)] Fiona is big.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4 OR ((triple2) -> rule1))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9 OR ((triple7) -> rule1))] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is round.[(triple12)] @1: Dave is furry.[(((triple1) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1