Dave is cold. Dave is quiet. Dave is rough. Dave is white. Fiona is nice. Fiona is quiet. Fiona is young. Harry is big. Harry is nice. Harry is young. All rough, big people are white. If someone is big then they are rough.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough, big people are white.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Harry is big.
True
1
proof
[(triple8)]
("Harry" "is" "big" "+")
triple8
Harry is not big.
False
1
inv-proof
[(triple8)]
("Harry" "is" "big" "-")
triple8
Harry is rough.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple8) -> rule2))]
("Harry" "is" "rough" "-")
((triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
True
4
proof
[(((((triple8) -> rule2) triple8) -> rule1))]
("Harry" "is" "white" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not white.
False
4
inv-proof
[(((((triple8) -> rule2) triple8) -> rule1))]
("Harry" "is" "white" "-")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Harry is rough.[(((triple8) -> rule2))] @2: Harry is white.[(((((triple8) -> rule2) triple8) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2