Fiona is not big. Fiona is cold. Fiona is not round. Harry is not big. Harry is blue. Harry is quiet. Harry is round. All cold things are quiet. All blue, big things are quiet. Young things are blue. All big things are young. If something is quiet and not big then it is young. All cold, blue things are not red. If Harry is quiet then Harry is not red. If something is young and not quiet then it is round.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
All blue, big things are quiet.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is quiet and not big then it is young.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "young" "+"))
All cold, blue things are not red.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "-"))
If Harry is quiet then Harry is not red.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "red" "-"))
If something is young and not quiet then it is round.
((("something" "is" "young" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Harry is not red.
True
2
proof
[(((triple6) -> rule7))]
("Harry" "is" "red" "-")
((triple6) -> (rule7 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Harry is not young.
False
3
inv-proof
[(((triple6 triple4) -> rule5))]
("Harry" "is" "young" "-")
((triple6 triple4) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is young.
True
4
proof
[(((((triple2) -> rule1) triple1) -> rule5))]
("Fiona" "is" "young" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not young.
False
4
inv-proof
[(((((triple2) -> rule1) triple1) -> rule5))]
("Fiona" "is" "young" "-")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
True
5
proof
[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule3))]
("Fiona" "is" "blue" "+")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not blue.
False
5
inv-proof
[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule3))]
("Fiona" "is" "blue" "-")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
@0: Fiona is cold.[(triple2)] Fiona is not big.[(triple1)] Fiona is not round.[(triple3)] Harry is blue.[(triple5 OR ((((triple6 triple4) -> rule5)) -> rule3))] Harry is not big.[(triple4)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Fiona is quiet.[(((triple2) -> rule1))] Harry is not red.[(((triple6) -> rule7))] Harry is young.[(((triple6 triple4) -> rule5))] @2: Fiona is young.[(((((triple2) -> rule1) triple1) -> rule5))] @3: Fiona is blue.[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule3))] @4: Fiona is not red.[(((triple2 ((((((triple2) -> rule1) triple1) -> rule5)) -> rule3)) -> rule6))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not round.
("Fiona" "is" "round" "-")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple5
((((triple6 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not big.
("Harry" "is" "big" "-")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not red.
("Harry" "is" "red" "-")
((triple6) -> (rule7 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple4) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not red.
("Fiona" "is" "red" "-")
((triple2 ((((((triple2) -> (rule1 % int4)) triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4