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