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