Dave is green. Dave is rough. Dave is round. Dave is young. Fiona is cold. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Gary is cold. Gary is green. Gary is rough. Gary is round. Gary is young. All nice things are young. Cold, smart things are green. Smart things are young. All nice, round things are green. If Dave is round then Dave is nice. If Gary is green and Gary is round then Gary is smart. All rough, cold things are smart. If something is nice and cold then it is smart.
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Cold, smart things are green.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All nice, round things are green.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Dave is round then Dave is nice.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "nice" "+"))
If Gary is green and Gary is round then Gary is smart.
((("Gary" "is" "green" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "smart" "+"))
All rough, cold things are smart.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If something is nice and cold then it is smart.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Dave is young.
True
1
proof
[(triple4 OR ((((triple3) -> rule5)) -> rule1))]
("Dave" "is" "young" "+")
triple4
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is not nice.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "nice" "-")
triple7
Dave is nice.
True
2
proof
[(((triple3) -> rule5))]
("Dave" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple3) -> rule5))]
("Dave" "is" "nice" "-")
((triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is green.[(triple1 OR ((((triple3) -> rule5) triple3) -> rule4))] Dave is rough.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4 OR ((((triple3) -> rule5)) -> rule1))] Fiona is cold.[(triple5)] Fiona is green.[(triple6 OR ((triple5 triple10) -> rule2) OR ((triple7 triple9) -> rule4) OR ((triple5 ((triple7 triple5) -> rule8)) -> rule2) OR ((triple5 ((triple8 triple5) -> rule7)) -> rule2))] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple7 triple5) -> rule8) OR ((triple8 triple5) -> rule7))] Fiona is young.[(triple11 OR ((triple10) -> rule3) OR ((triple7) -> rule1) OR ((((triple7 triple5) -> rule8)) -> rule3) OR ((((triple8 triple5) -> rule7)) -> rule3))] Gary is cold.[(triple12)] Gary is green.[(triple13 OR ((triple12 ((triple14 triple12) -> rule7)) -> rule2))] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((((triple13 triple15) -> rule6)) -> rule3) OR ((((triple14 triple12) -> rule7)) -> rule3))] @1: Dave is nice.[(((triple3) -> rule5))] Gary is smart.[(((triple13 triple15) -> rule6) OR ((triple14 triple12) -> rule7))]
Dave is green.
("Dave" "is" "green" "+")
triple1
((((triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple5 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple9) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple5 ((triple7 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple5 ((triple8 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple7 triple5) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 triple5) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple11
((triple10) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple7 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple12 ((triple14 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((((triple13 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple14 triple12) -> (rule7 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple13 triple15) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple14 triple12) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1