Bob is blue. Bob is kind. Bob is nice. Bob is not smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is smart. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is not smart. Kind, blue people are big. If someone is big then they are furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Kind, blue people are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Harry is rough.
True
1
proof
[(triple14)]
("Harry" "is" "rough" "+")
triple14
Bob is smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "+")
triple4
Bob is big.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is furry.
True
4
proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Bob" "is" "furry" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not furry.
False
4
inv-proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Bob" "is" "furry" "-")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not smart.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple10) -> rule2))] Harry is nice.[(triple13)] Harry is not smart.[(triple15)] Harry is rough.[(triple14)] @1: Bob is big.[(((triple2 triple1) -> rule1))] Fiona is furry.[(((triple5) -> rule2))] @2: Bob is furry.[(((((triple2 triple1) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple10) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not smart.
("Harry" "is" "smart" "-")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2