Anne is big. Anne is blue. Anne is red. Anne is round. Anne is young. Dave is not big. Dave is cold. Dave is not round. Fiona is big. Fiona is blue. Fiona is kind. Fiona is round. Fiona is young. Gary is cold. Gary is kind. Gary is young. If someone is cold then they are red. If someone is young and not big then they are red. If Fiona is blue and Fiona is big then Fiona is kind. If Dave is not cold and Dave is not young then Dave is not red. All young people are blue. Young, cold people are round. If Dave is cold then Dave is blue. If someone is cold and not red then they are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and not big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If Fiona is blue and Fiona is big then Fiona is kind.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
If Dave is not cold and Dave is not young then Dave is not red.
((("Dave" "is" "cold" "~") ("Dave" "is" "young" "~")) -> ("Dave" "is" "red" "-"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Young, cold people are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Dave is cold then Dave is blue.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "blue" "+"))
If someone is cold and not red then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple15)]
("Gary" "is" "kind" "+")
triple15
Fiona is not big.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "big" "-")
triple9
Gary is round.
True
3
proof
[(((triple16 triple14) -> rule6))]
("Gary" "is" "round" "+")
((triple16 triple14) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple16) -> rule5))]
("Gary" "is" "blue" "-")
((triple16) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "kind" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule5))] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple7)] Dave is not big.[(triple6)] Dave is not round.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10 OR ((triple13) -> rule5))] Fiona is kind.[(triple11 OR ((triple10 triple9) -> rule3) OR ((((triple13) -> rule5) triple9) -> rule3))] Fiona is round.[(triple12)] Fiona is young.[(triple13)] Gary is cold.[(triple14)] Gary is kind.[(triple15)] Gary is young.[(triple16)] @1: Dave is blue.[(((triple7) -> rule7))] Dave is red.[(((triple7) -> rule1))] Gary is blue.[(((triple16) -> rule5))] Gary is red.[(((triple14) -> rule1))] Gary is round.[(((triple16 triple14) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple5) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
triple6
Dave is not round.
("Dave" "is" "round" "-")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple13) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
((triple10 triple9) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple16) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple14) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple16 triple14) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1