Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is round. Bob is white. Bob is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. If someone is young and quiet then they are cold. If Bob is big and Bob is young then Bob is quiet. If Fiona is quiet and Fiona is blue then Fiona is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is young and quiet then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Bob is big and Bob is young then Bob is quiet.
((("Bob" "is" "big" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "quiet" "+"))
If Fiona is quiet and Fiona is blue then Fiona is white.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is not young.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "young" "-")
triple14
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple1 triple7) -> rule2)) -> rule1))] Bob is quiet.[(triple4 OR ((triple1 triple7) -> rule2))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple14 triple11) -> rule1))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is white.[(triple13 OR ((triple11 triple9) -> rule3))] Fiona is young.[(triple14)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((triple7 triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple7 ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple1 triple7) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple14 triple11) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
((triple11 triple9) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple14