Bob is not cold. Bob is furry. Bob is not quiet. Bob is rough. Bob is round. Bob is smart. Fiona is rough. Fiona is smart. Gary is cold. Gary is furry. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is smart. Quiet people are not young. If someone is cold and not young then they are not rough.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Quiet people are not young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "-"))
If someone is cold and not young then they are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "-"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Harry is not young.
True
2
proof
[(((triple15) -> rule1))]
("Harry" "is" "young" "-")
((triple15) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is young.
False
2
inv-proof
[(((triple15) -> rule1))]
("Harry" "is" "young" "+")
((triple15) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is not rough.
True
4
proof
[(((triple13 ((triple15) -> rule1)) -> rule2))]
("Harry" "is" "rough" "-")
((triple13 ((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not young.
("Harry" "is" "young" "-")
int2
Harry is rough.
False
4
inv-proof
[(((triple13 ((triple15) -> rule1)) -> rule2))]
("Harry" "is" "rough" "+")
((triple13 ((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not young.
("Harry" "is" "young" "-")
int2
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is not quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Harry is not young.[(((triple15) -> rule1))] @2: Harry is not rough.[(((triple13 ((triple15) -> rule1)) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Harry is not young.
("Harry" "is" "young" "-")
((triple15) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
((triple13 ((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not young.
("Harry" "is" "young" "-")
int2