Fiona is nice. Gary is not cold. Harry is quiet. If Harry is quiet then Harry is not young. If Fiona is kind then Fiona is cold. All big people are not green. All big, nice people are not green. If someone is big and quiet then they are cold. If someone is nice then they are kind. All cold, nice people are big. All nice, kind people are young.
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is quiet then Harry is not young.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "young" "-"))
If Fiona is kind then Fiona is cold.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "cold" "+"))
All big people are not green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
All big, nice people are not green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "-"))
If someone is big and quiet then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
All cold, nice people are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All nice, kind people are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Gary is not cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "-")
triple2
Gary is cold.
False
1
inv-proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Fiona is kind.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
True
4
proof
[(((triple1 ((triple1) -> rule6)) -> rule8))]
("Fiona" "is" "young" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule6)) -> rule8))]
("Fiona" "is" "young" "-")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
True
5
proof
[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule7))]
("Fiona" "is" "big" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not big.
False
5
inv-proof
[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule7))]
("Fiona" "is" "big" "-")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is nice.[(triple1)] Gary is not cold.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule6))] Harry is not young.[(((triple3) -> rule1))] @2: Fiona is cold.[(((((triple1) -> rule6)) -> rule2))] Fiona is young.[(((triple1 ((triple1) -> rule6)) -> rule8))] @3: Fiona is big.[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule7))] @4: Fiona is not green.[(((((((((triple1) -> rule6)) -> rule2) triple1) -> rule7)) -> rule3) OR ((((((((triple1) -> rule6)) -> rule2) triple1) -> rule7) triple1) -> rule4))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Gary is not cold.
("Gary" "is" "cold" "-")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not young.
("Harry" "is" "young" "-")
((triple3) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not green.
("Fiona" "is" "green" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule2 % int3)) triple1) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4