Dave is not blue. Dave is green. Dave is nice. Dave is smart. Dave is white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is smart. Fiona is white. Fiona is not young. If Fiona is nice then Fiona is cold. All green, cold people are nice. If someone is cold and not green then they are blue. If Fiona is nice and Fiona is smart then Fiona is blue. If someone is young and nice then they are smart. If someone is cold and nice then they are smart. Green people are smart. If Dave is smart and Dave is not blue then Dave is not young.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Fiona is nice then Fiona is cold.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "cold" "+"))
All green, cold people are nice.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and not green then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "+"))
If Fiona is nice and Fiona is smart then Fiona is blue.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "blue" "+"))
If someone is young and nice then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold and nice then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If Dave is smart and Dave is not blue then Dave is not young.
((("Dave" "is" "smart" "+") ("Dave" "is" "blue" "~")) -> ("Dave" "is" "young" "-"))
Fiona is white.
True
1
proof
[(triple11)]
("Fiona" "is" "white" "+")
triple11
Dave is not white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "-")
triple5
Dave is not young.
True
3
proof
[(((triple4 triple1) -> rule8) OR ((((triple2) -> rule7) triple1) -> rule8))]
("Dave" "is" "young" "-")
((triple4 triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
((((triple2) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
False
3
inv-proof
[(((triple4 triple1) -> rule8) OR ((((triple2) -> rule7) triple1) -> rule8))]
("Dave" "is" "young" "+")
((triple4 triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
((((triple2) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
@0: Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is not blue.[(triple1)] Dave is smart.[(triple4 OR ((triple2) -> rule7))] Dave is white.[(triple5)] Fiona is blue.[(triple6 OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple8) -> rule7)) -> rule4) OR ((triple9 ((triple7 triple9) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule2) triple10) -> rule4) OR ((((triple8 triple7) -> rule2) ((triple8) -> rule7)) -> rule4) OR ((((triple8 triple7) -> rule2) ((triple7 triple9) -> rule6)) -> rule4) OR ((triple9 ((triple7 ((triple8 triple7) -> rule2)) -> rule6)) -> rule4) OR ((triple9 ((((triple9) -> rule1) triple9) -> rule6)) -> rule4) OR ((triple9 ((((triple9) -> rule1) ((triple8 triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule2) ((triple7 ((triple8 triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule2) ((((triple9) -> rule1) triple9) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule2) ((((triple9) -> rule1) ((triple8 triple7) -> rule2)) -> rule6)) -> rule4))] Fiona is cold.[(triple7 OR ((triple9) -> rule1))] Fiona is green.[(triple8)] Fiona is nice.[(triple9 OR ((triple8 triple7) -> rule2))] Fiona is not young.[(triple12)] Fiona is smart.[(triple10 OR ((triple8) -> rule7) OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple8 triple7) -> rule2)) -> rule6) OR ((((triple9) -> rule1) triple9) -> rule6) OR ((((triple9) -> rule1) ((triple8 triple7) -> rule2)) -> rule6))] Fiona is white.[(triple11)] @1: Dave is not young.[(((triple4 triple1) -> rule8) OR ((((triple2) -> rule7) triple1) -> rule8))]
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple4
((triple2) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple9 triple10) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple9 ((triple7 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8 triple7) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8 triple7) -> (rule2 % int3)) ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8 triple7) -> (rule2 % int3)) ((triple7 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple9 ((triple7 ((triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple9 ((((triple9) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple9 ((((triple9) -> (rule1 % int4)) ((triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int3)) ((triple7 ((triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8 triple7) -> (rule2 % int4)) ((((triple9) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) ((((triple9) -> (rule1 % int3)) ((triple8 triple7) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple8 triple7) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple8) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple7 triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple7 ((triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Dave is not young.
("Dave" "is" "young" "-")
((triple4 triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
((((triple2) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2