Charlie is blue. Charlie is cold. Charlie is round. Dave is blue. Dave is cold. Dave is green. Dave is round. Dave is young. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is young. Harry is blue. Harry is cold. Harry is green. Harry is rough. Round people are cold. If Dave is quiet then Dave is young. All quiet, round people are young. Green, round people are cold. If someone is young and blue then they are cold. Round, quiet people are young. Quiet people are rough. If Fiona is quiet then Fiona is blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If Dave is quiet then Dave is young.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "young" "+"))
All quiet, round people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Green, round people are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Round, quiet people are young.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is quiet then Fiona is blue.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "blue" "+"))
Fiona is round.
True
1
proof
[(triple11)]
("Fiona" "is" "round" "+")
triple11
Harry is not rough.
False
1
inv-proof
[(triple16)]
("Harry" "is" "rough" "-")
triple16
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple3) -> rule1))] Charlie is round.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple7) -> rule1) OR ((triple6 triple7) -> rule4) OR ((triple8 triple4) -> rule5))] Dave is green.[(triple6)] Dave is round.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule8))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12 OR ((triple10 triple11) -> rule3) OR ((triple11 triple10) -> rule6))] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is rough.[(triple16)] @1: Fiona is cold.[(((triple11) -> rule1) OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple10) -> rule8)) -> rule5) OR ((((triple10 triple11) -> rule3) triple9) -> rule5) OR ((((triple11 triple10) -> rule6) triple9) -> rule5) OR ((((triple10 triple11) -> rule3) ((triple10) -> rule8)) -> rule5) OR ((((triple11 triple10) -> rule6) ((triple10) -> rule8)) -> rule5))] Fiona is rough.[(((triple10) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple6 triple7) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple8 triple4) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
((triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple10 triple11) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple11 triple10) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple11) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple10 triple11) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple11 triple10) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple10 triple11) -> (rule3 % int3)) ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple11 triple10) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1