Charlie is big. Charlie is cold. Charlie is green. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is round. Dave is young. Erin is big. Erin is blue. Fiona is blue. Fiona is green. Fiona is young. Blue things are round. All round things are kind.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Dave is round.
True
1
proof
[(triple9 OR ((triple5) -> rule1))]
("Dave" "is" "round" "+")
triple9
((triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Fiona is round.
True
2
proof
[(((triple13) -> rule1))]
("Fiona" "is" "round" "+")
((triple13) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple12) -> rule1))]
("Erin" "is" "round" "-")
((triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
True
3
proof
[(((((triple12) -> rule1)) -> rule2))]
("Erin" "is" "kind" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple13) -> rule1)) -> rule2))]
("Fiona" "is" "kind" "-")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8 OR ((triple9) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Dave is round.[(triple9 OR ((triple5) -> rule1))] Dave is young.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12)] Fiona is blue.[(triple13)] Fiona is green.[(triple14)] Fiona is young.[(triple15)] @1: Erin is round.[(((triple12) -> rule1))] Fiona is round.[(((triple13) -> rule1))] @2: Erin is kind.[(((((triple12) -> rule1)) -> rule2))] Fiona is kind.[(((((triple13) -> rule1)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
((triple9) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple9
((triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Erin is round.
("Erin" "is" "round" "+")
((triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple13) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2