Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If something is big and quiet then it is rough. If Harry is round then Harry is quiet. All nice, rough things are smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is big and quiet then it is rough.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Harry is round then Harry is quiet.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "quiet" "+"))
All nice, rough things are smart.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple4)]
("Fiona" "is" "quiet" "+")
triple4
Harry is not round.
False
1
inv-proof
[(triple9)]
("Harry" "is" "round" "-")
triple9
Fiona is rough.
True
3
proof
[(((triple1 triple4) -> rule1))]
("Fiona" "is" "rough" "+")
((triple1 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule1))]
("Fiona" "is" "rough" "-")
((triple1 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
True
5
proof
[(((triple3 ((triple1 triple4) -> rule1)) -> rule3))]
("Fiona" "is" "smart" "+")
((triple3 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not smart.
False
5
inv-proof
[(((triple3 ((triple1 triple4) -> rule1)) -> rule3))]
("Fiona" "is" "smart" "-")
((triple3 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Harry is cold.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple9) -> rule2))] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple6 triple8) -> rule3))] @1: Fiona is rough.[(((triple1 triple4) -> rule1))] @2: Fiona is smart.[(((triple3 ((triple1 triple4) -> rule1)) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
((triple9) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple6 triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2